Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
401	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
402	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
403	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
404	MCS 401 – Computer Algorithms I Spring 2016 Problem Set 1 Lev Reyzin Due: by the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-22 10:42:53 Theoretical computer science Algorithm Mathematical logic Big O notation
405	Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-08-10 06:15:57 University of Amsterdam Mathematical optimization Inequalities Quantum mechanics Institute for Logic Language and Computation Semidefinite programming Grothendieck inequality Quantum entanglement
406	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
407	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
408	ABSTRACT: MIDLANDS LOGIC SEMINAR, BIRMINGHAM, NOVEMBER 8, 2013. TRISTRAM DE PIRO I will give a proof of the Fourier Inversion Theorem for functions f : R → R, belonging to the Schwartz class, (∗), using the methods o Add to Reading List Source URL: midlandslogic.org.uk Language: English - Date: 2013-10-29 19:32:04 Integral transforms Joseph Fourier Mathematical physics Generalized functions Fourier analysis Fourier inversion theorem Fourier Fourier series
409	In defense of the epistemic view of quantum states: a toy theory Robert W. Spekkens arXiv:quant-ph/0401052v2 7 OctPerimeter Institute for Theoretical Physics, Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:02 Quantum mechanics Quantum information science Philosophy of science Quantum states Modal logic Ontic Interpretations of quantum mechanics Spekkens Toy Model No-cloning theorem Quantum entanglement Mathematical formulation of quantum mechanics Quantum operation
410	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base

UPDATE